Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
611	Analizing high school students’ problem solving through their personal epistemologies Coleoni Enrique Andrés1,2, Buteler Laura María1,2, Perea María Andrea1,2 1 Instituto de Física Enrique Gaviola. Consejo Naciona Add to Reading List Source URL: www.lajpe.org Language: English - Date: 2014-07-01 23:17:49 Metatheory Modal logic Non-classical logic Epistemology Framing Theory of justification Entailment Reason Logic programming Logic Philosophical logic Justification
612	Hegel’s Dialectical Logic Add to Reading List Source URL: www.shpenkov.janmax.com Language: English - Date: 2010-07-28 10:09:17 General relativity Introductory physics Fundamental constants Dimensional analysis Mass Gravitational wave Systems of measurement Volume Measurement Physics Gravitation Classical mechanics
613	TexPoint Font and Symbol Matters • TexPoint comes with a set of TrueType fonts that contain the glyphs for the standard Latex and AMS symbols. Some of these symbols are also available in Windows standard fonts. – Add to Reading List Source URL: texpoint.necula.org Language: English - Date: 2008-04-06 17:25:01 Latin script Classical cipher Computing The Alphabet Cipher Symbol Latin alphabets Logic
614	A Semantics for a Logic of Authentication (Extended Abstract) Martn Abadi Digital Equipment Corporation Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Cryptographic protocols Propositional calculus Boolean algebra Classical logic Kerberos Modal logic Public-key cryptography Yahalom Burrows–Abadi–Needham logic Logic Cryptography Mathematical logic
615	Microsoft Word - Workshop paraconsistent deontic logic 1 Add to Reading List Source URL: www.indexicals.ac.at Language: English - Date: 2014-06-11 09:40:32 Paraconsistent logic Philosophical logic Analytic philosophers Deontic logic Graham Priest Many-valued logic Modal logic Fuzzy logic Classical logic Logic Mathematical logic Non-classical logic
616	Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:33 Logic programming Automated theorem proving Programming paradigms Prolog Computer program Unification Occurs check First-order logic Logic Software engineering Computing Computer programming
617	Notes on a Logic of Objects Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Classical cipher Four-square cipher Computer programming Linguistics Computing
618	Syntax of the Tecton Language Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Non-classical logic Philosophical logic Word square Classical cipher Logic Computer programming Modal logic
619	A Guide to Tecton and Natural Logic Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Jan Willem Klop Classical cipher Computer programming Computing Software engineering
620	Barriers to Implication Greg Restall Gillian Russell Philosophy Department Add to Reading List Source URL: www.consequently.org Language: English - Date: 2009-01-07 08:48:35 Philosophical logic Metalogic Propositional calculus Modal logic Non-classical logic Interpretation Entailment First-order logic Structure Logic Philosophy Model theory

UPDATE